INTEG: A Stochastic Testing System for Microprocessor Verification
نویسندگان
چکیده
Stochastic testing is one of the most powerful tools for verification of hardware design. To simplify the generation of random tests and to create a tool for testing processors of the MIPS64 architecture, the system named INTEG has been developed. The system has demonstrated its merits in verification of a new microprocessor. Here we give a description of the system’s main components, as well as a review of the principles of random testing, implemented in INTEG. Key-Words: Hardware verification, stochastic testing, biases, MIPS64, random test generation.
منابع مشابه
Design of Nondestructive System for Hardness of Carbonitrided Steel Parts Using Eddy Current Testing Method: Case study on the Tappet Parts
In this paper, a non-destructive eddy current test system was designed to evaluate the surface hardness of the carbonitrided steel parts. For this purpose, various samples of the tappet were used after the surface hardening and grinding operations as control samples and, if necessary, were subjected to destructive and non-destructive tests. Microstructural studies were performed with a microsco...
متن کاملA Microprocessor-Based Hybrid Duplex Fault-Tolerant System
Reliability is one of the fundamental considerations in the design of industrial control equipment. The microprocessor-based Hybrid Duplex fault-tolerant System (HDS) proposed in this paper has high reliability to meet this demand although its hardware structure is simple. The hardware configuration of HDS and the fault tolerance of this system are described. The switching control strategies in...
متن کاملStochastic Congestion Management Considering Power System Uncertainties
Congestion management in electricity markets is traditionally done using deterministic values of power system parameters considering a fixed network configuration. In this paper, a stochastic programming framework is proposed for congestion management considering the power system uncertainties. The uncertainty sources that are modeled in the proposed stochastic framework consist of contingencie...
متن کاملFunctional verification of the z990 superscalar, multibook microprocessor complex
verification of the z990 superscalar, multibook microprocessor complex D. G. Bair S. M. German W. D. Wollyung E. J. Kaminski, Jr. J. Schafer M. P. Mullen W. J. Lewis R. Wisniewski J. Walter S. Mittermaier V. Vokhshoori R. J. Adkins M. Halas T. Ruane U. Hahn This paper describes the verification methods and techniques that were established to verify the microarchitecture and architectural correc...
متن کاملDemo: S-TaLiRo: A tool for Testing and Verification for Hybrid Systems: Recent Functionality and Additions
In this demo, we will demonstrate the latest features of S-TaLiRo, a modular software tool that provides various methods of verification and testing of hybrid systems, using a combination of stochastic optimization algorithms, and local descent methods.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007